CORE

🇺🇦   make metadata, not war

    32 research outputs found

    Building Logic Toolboxes

    Author
    Publication venue
    Publication date
    Field of study
    Get PDF
    CWI's Institutional Repository

    Pre- and postcondition reasoning for dynamic first order logic

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    International Migration, Integration and Social Cohesion online publications

    Pre- and postcondition reasoning for dynamic first order logic

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    International Migration, Integration and Social Cohesion online publications

    Building logic toolboxes

    Author
    Publication venue
    Institute for Logic, Language and Computation
    Publication date
    Field of study
    Get PDF
    CWI's Institutional Repository
    UvA-DARE
    International Migration, Integration and Social Cohesion online publications

    Hylores: A hybrid logic prover based on direct resolution (system demo)

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    International Migration, Integration and Social Cohesion online publications

    Hylores: Direct resolution for hybrid logics

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    International Migration, Integration and Social Cohesion online publications

    hGen: A random CNF formula generator for hybrid languages

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    International Migration, Integration and Social Cohesion online publications

    Hylores: A hybrid logic prover based on direct resolution

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    International Migration, Integration and Social Cohesion online publications

    Direct resolution for modal-like logics

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    International Migration, Integration and Social Cohesion online publications

    The random modal qbf test set

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    International Migration, Integration and Social Cohesion online publications
    corecore